-
1 логический вывод
Большой англо-русский и русско-английский словарь > логический вывод
-
2 логический вывод
Англо-русский словарь технических терминов > логический вывод
-
3 inference (логический)
Вычислительная техника: вывод, следствие, умозаключениеУниверсальный англо-русский словарь > inference (логический)
-
4 inference
-
5 inference
вывод (логический)
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
логический вывод
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
следствие
умозаключение
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > inference
-
6 inference
[ˈɪnfərəns]abductive inference абдуктивный вывод chain inference цепное заключение direct inference прямой вывод fuzzy inference нечеткий вывод immediate inference прямое вмешательство inductive inference индуктивный вывод inference вывод inference заключение inference умозаключение inference making вчт. получение выводов intuitionistic inference интуиционистский вывод knowledge-based inference вывод на знаниях linear inference линейный вывод logical inference логический вывод non-monotonic inference немонотонный вывод probabilitic inference вероятностный вывод statistical inference статистический вывод -
7 inference
вывод имя существительное: -
8 inference
(логический) вывод; суждение; умозаключение -
9 inference
(логический) вывод, умозаключение; следствие- chain inference
- deductive inference
- formal inference
- grammatical inference
- immediate inference
- inductive inference
- mediate inference
- propositional inference
- simultaneous inference
- statistical inferenceEnglish-Russian dictionary of computer science and programming > inference
-
10 inference
-
analogical inference
-
analogic inference
-
formal inference -
11 inference
логический вывод; следствие; умозаключение -
12 inference
['ɪnf(ə)rəns]1) Общая лексика: выведение, вывод, заключение, подразумеваемое, предположение, следствие2) Техника: логическое рассуждение, рассуждение (логический), умозаключение, заключение (вывод)4) Юридический термин: предположение на основании фактов5) Вычислительная техника: логический вывод, (логический) вывод, (логический) следствие, (логический) умозаключение6) Патенты: делать вывод7) Автоматика: процесс (логического) умозаключения, умозаключение (напр. в экспертной системе)8) Робототехника: заключение (в СИИ), умозаключение (в СИИ)9) Макаров: процесс логического умозаключения, то, что подразумевается, вывод (логический), заключение (напр. в экспертной системе), вывод (умозаключение)10) Безопасность: извлечение сведений посредством анализа открытой информации11) Общая лексика: вывод (как результат и как процесс) -
13 inference
заключение, вывод, логический вывод, умозаключение
– inference engine
– inference machinery
– inference operation
– inference procedure
– inference rule
– inference system
-
14 inference
рассуждение; логический вывод -
15 inference
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > inference
-
16 logical inference
= logic inferenceАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical inference
-
17 analogical inference
inference machinery — схемы вывода; механизмы вывода
English-Russian big medical dictionary > analogical inference
-
18 inductive inference
логический вывод, логическое заключение, логическое умозаключение (напр. в экспертной системе)English-Russian dictionary of mechanical engineering and automation > inductive inference
-
19 logical inference
-
20 logical inference
логический выводEnglish-Russian dictionary of technical terms > logical inference
См. также в других словарях:
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
вывод (логический) — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN inference … Справочник технического переводчика
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия